Coordinatization in superstable theories. I. Stationary types
نویسندگان
چکیده
منابع مشابه
Rigid א 2 - saturated models of superstable theories ∗
In a countable superstable NDOP theory, the existence of a rigid א2-saturated model implies the existence of 2 λ rigid א2-saturated models of power λ for every λ > 2א0 .
متن کاملVaught's conjecture for superstable theories of finite rank
In [Vau61] Vaught conjectured that a countable first order theory has countably many or 2א0 many countable models. Here, the following special case is proved. Theorem. If T is a superstable theory of finite rank with < 2א0 many countable models, then T has countably many countable models. The basic idea is to associate with a theory a ∧ − definable group G (called the structure group) which con...
متن کاملVaught's conjecture for superstable theories of nite rank
In this paper we prove Vaught's conjecture for superstable theories in which each complete type has nite U? rank. The general idea is to associate with the theory an V ? deenable group G (called the structure group) which controls the isomorphism types of the models. We use module theory to show that when the theory has few countable models and M is a countable model there is a nice decompositi...
متن کاملHomological Coordinatization
In this paper, we review a method for computing and parameterizing the set of homotopy classes of chain maps between two chain complexes. This is then applied to finding topologically meaningful maps between simplicial complexes, which in the context of topological data analysis, can be viewed as an extension of conventional unsupervised learning methods to simplicial complexes.
متن کاملMinimal types in simple theories
We prove that if M0 is a model of a simple theory, and p(x) is a complete type of Cantor-Bendixon rank 1 over M0, then p is stationary and regular. As a consequence we obtain another proof that any countable model M0 of a countable complete simple theory T has infinitely many countable elementary extensions up to M0-isomorphism. The latter extends earlier results of the author in the stable cas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1985
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1985-0773049-3